1c8c4b37be8356e1959590775ca55ab47955248a,pdex/src/processing/mode/experimental/TabOutline.java,TabOutline,estimateFrameHeight,#,300

Before Change


  
  private int estimateFrameHeight(){
    // Assuming each tree node height to be 25 pixels
    return Math.min(20 * (editor.getSketch().getCodeCount() + 1),
                    frmOutlineView.getHeight());
//    return Math.min(editor.ta.getHeight(),
//                    frmOutlineView.getHeight());
  }

After Change


  
  private int estimateFrameHeight(){
    // Assuming each tree node height to be 20 pixels
    int t = Math.max(4, editor.getSketch().getCodeCount() + 1);
    return Math.min(20 * t, frmOutlineView.getHeight());
  }

  public void show() {